-- MAIN == 6 
DEF MAIN:nat == add(2,4)
